1introduction-2-2basicmodellinginminizinc-2-2.1ourfirstexample-......................................2-2.2anarithmeticoptimisationexample-..........................5-2.3dataLesandassertions-......... published presentations and documents on DocSlides.